Full abstraction for the second order subset of an Algol-like language
نویسندگان
چکیده
منابع مشابه
Full Abstraction for the Second Order Subset of an Algol-Like Language
We present a denotational semantics for anAlgol like languageAlg which is fully abstract for the second order subset of Alg This constitutes the rst signi cant full abstraction result for a block structured language with local variables As all the published test equivalences for Algol like languages are contained in the second order subset they can all be validated easily in our denotational mo...
متن کاملThe regular-language semantics of second-order idealized ALGOL
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of complete plays as regular languages. Being derived directly from the fully abstract game semantics for IA, our model inherits its good theoretical properties; in fact, for second-order IA taken as a stand-alone langua...
متن کاملAlgol-like Language
We present a denotational semantics for an Algol-like language Alg, which is fully abstract for the second order subset of Alg. This constitutes the rst signiicant full abstraction result for a block structured language with local variables. As all the published`test equivalences' 13, 8, 23] for Algol-like languages are contained in the second order subset, they can all be validated (easily) in...
متن کاملFull Abstraction for Idealized Algol with Passive Expressions
model of Idealized Algol raises signi cant problems over and above those associated with the full abstraction problem for PCF [20, 29]. In a previous paper [5, 6], we gave the rst fully abstract model of Idealized Algol with active, i.e. possibly side-e ecting, expressions. It is signi cantly harder to capture the \pure" version of Idealized Algol originally proposed by Reynolds, in which a sha...
متن کاملAlgol-like Language (preliminary Report)
We present a denotational semantics for an Algol-like language Alg which is fully abstract for the second order subset of Alg. This constitutes the rst signiicant full abstraction result for a block structured language with local variables. In this preliminary report we concentrate on the construction of the denotational model and on the main ideas of the full abstraction proof. For more backgr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00066-7